Lambda point - PDFSEARCH.IO - Document Search Engine

Lambda point
Results: 124

#	Item
101	A Structural Approach to Reversible Computation Samson Abramsky Oxford University Computing Laboratory Abstract Reversibility is a key issue in the interface between computation Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:04 Mathematical logic Models of computation Logic in computer science Combinatory logic Digital electronics Fixed-point combinator Function Reversible computing SKI combinator calculus Theoretical computer science Mathematics Lambda calculus
102	Edward N. Zalta Essence and Modality∗ Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2011-11-28 19:53:20 Model theory Predicate logic Lambda calculus Metalogic Category theory First-order logic Fixed-point combinator Interpretation Function Logic Mathematical logic Mathematics
103	Combining Proofs and Programs in a Dependently Typed Language Chris Casinghino Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2013-11-15 17:01:40 Logic in computer science Lambda calculus Proof theory Deduction Models of computation Curry–Howard correspondence Entailment Combinatory logic Fixed-point combinator Theoretical computer science Logic Mathematical logic
104	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Add to Reading List Source URL: scheme2006.cs.uchicago.edu Language: English - Date: 2006-08-29 21:53:24 Lambda calculus Recursion Subroutines Computability theory Theoretical computer science Higher-order abstract syntax Fixed-point combinator Scheme Continuation-passing style Software engineering Computing Computer programming
105	JErlang: Erlang with Joins Hubert Plociniczak1 and Susan Eisenbach2 ´ Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-04-07 07:05:53 Subroutines Lambda calculus Recursion Ericsson Erlang Closure Actor model Pattern matching Fixed-point combinator Computing Software engineering Computer programming
106	Syntactic Proofs of Compositional Compiler Correctness Adam Chlipala Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2009-10-04 10:53:34 Lambda calculus Model theory Combinatory logic Fixed-point combinator Recursion Natural deduction Structure Formal language Mathematics Mathematical logic Theoretical computer science
107	R. M. McCLUR£, Editor Regular Expression Search Add to Reading List Source URL: www.fing.edu.uy Language: English - Date: 2011-08-19 12:27:48 Procedural programming languages Lambda calculus C Cross-platform software ALGOL 68 Stack Fixed-point combinator P-code machine X86 assembly language Software engineering Computing Programming language theory
108	Jean-Louis Krivine LAMBDA-CALCULUS Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2013-07-01 11:36:37 Lambda calculus Logic in computer science Predicate logic Combinatory logic Type theory Fixed-point combinator Free variables and bound variables Curry–Howard correspondence System F Theoretical computer science Mathematics Mathematical logic
109	To appear in “Church’s Thesis after 70 Years” ed. A. Olszewski, Logos Verlag, Berlin, [removed]Church’s Thesis Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2008-08-11 14:08:31 Computer science Computability theory Theory of computation Logic in computer science Combinatory logic Fixed-point combinator Curry–Howard correspondence Computability Church encoding Theoretical computer science Mathematics Lambda calculus

UPDATE